Q[1]

A very high level language based on lazy sequences. It has lexical scope, some support for logical and constraint programming, and macros. Implemented in C++.